Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Quotient Types
Setoids, Observational Equality, Dependent Types, Cubical
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
161714
posts in
13.1
ms
When You Run Out of
Types
...
🌈
Gradual Languages
buttondown.com
·
5d
·
…
Rust's next-generation
trait
solver
🦀
Rust Macros
lwn.net
·
2d
·
Lobsters
,
Hacker News
,
r/programming
·
…
Knowledge
Governance
For The
Agentic
Economy.
♾️
Codata Types
padisovereignbureau.substack.com
·
20h
·
DEV
·
…
Linear
types
proposal for
Hare
📏
Linear Types
yerinalexey.srht.site
·
17h
·
Lobsters
,
Hacker News
·
…
Combinators
🧮
Combinator Calculus
tinyapl.rubenverg.com
·
1d
·
Hacker News
·
…
proposal:
element-wise
type constraints for
composite
values · Issue #78433
🗂️
Type Indexing
github.com
·
5d
·
r/golang
·
…
Show HN: Connecting
Duhem
's Law of Cognitive
Complementarity
to Metrology
⚖️
Inference Rules
lll.scrybble.ink
·
8h
·
Hacker News
·
…
The
Reamorment
Monograph: Four-Torus,
Decordment
, and the Topology of Return
🔗
Category Theory
beyondturbulence.blogspot.com
·
2d
·
…
Red-black tree in
Lean
4
prover
with everything proved
🧮
Theorem Provers
rentry.co
·
21h
·
Lobsters
·
…
Abstract
Semantic
Graph
🌳
Expression Trees
en.wikipedia.org
·
1d
·
Hacker News
·
…
Formally
verifying
digital circuits with category theory in Lean
🔗
Category Theory
matt.hunzinger.me
·
5d
·
r/programming
·
…
The
Tetrad
♾️
Codata Types
samirvarma.substack.com
·
2d
·
Substack
·
…
Quadratic
Micropass
Type Inference
🔍
Type Inference
articles.luminalang.com
·
6d
·
Hacker News
·
…
Linkage
🤐
Zipper Structures
11011110.github.io
·
1d
·
…
Girls are
Bayesian
, Boys are
Axiomatic
✨
Effect Inference
peteribanks.substack.com
·
1d
·
Substack
·
…
Mar
'26 Notes
🔗
Category Theory
susam.net
·
3d
·
…
Propositional
Alignment
🔗
Concatenative Theory
lesswrong.com
·
2d
·
…
Show HN:
PyNear
– exact and approximate KNN, faster than
Faiss
📋
JSON Parsing
news.ycombinator.com
·
3d
·
Hacker News
·
…
Universal
Category
System
🔗
Category Theory
universalcategorysystem.com
·
2d
·
Hacker News
·
…
mlajtos/es1995
:
ES1995
– The Missing JS Polyfill
🌈
Gradual Languages
github.com
·
9h
·
r/javascript
·
…
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help